x86_64: Fix booting 32-bit dom0

dom0/vcpu0 was not getting allocated a hypercall xlat area.

Signed-off-by: Keir Fraser <keir@xen.org>

diff --git a/xen/arch/x86/domain_build.c b/xen/arch/x86/domain_build.c
index 73cf8a8c1ba4fe6c292522d87b170a8bccfe2402..aaf7055c8e2d65d0be46120e6bdfd0f1a18ab690 100644 (file)
--- a/xen/arch/x86/domain_build.c
+++ b/xen/arch/x86/domain_build.c
@@ -410,6 +410,8 @@ int __init construct_dom0(
     {
         d->arch.is_32bit_pv = d->arch.has_32bit_shinfo = 1;
         v->vcpu_info = (void *)&d->shared_info->compat.vcpu_info[0];
+        if ( setup_compat_arg_xlat(v) != 0 )
+            BUG();
     }
 #endif